Définition :
Les injections canoniques associées au groupe \(G_1\times G_2\) sont données par : $$q_1:\begin{align} G_1&\longrightarrow G_1\times G_2\\ x_1&\longmapsto (x_1,e_2)\end{align}$$$\(q_2:\begin{align} G_2&\longrightarrow G_1\times G_2\\ x_2&\longmapsto (e_1,x_2)\end{align}\)$
C'est un morphisme de groupes
